On the linear decoration of intuitionistic derivations
نویسندگان
چکیده
We deene an optimal proof-by-proof embedding of intuitionistic sequent calculus into linear logic and analyse the (purely logical) linearity information thus obtained.
منابع مشابه
Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic
We present a sequent calculus for intuitionistic non-commutative linear logic (INCLL), show that it satisfies cut elimination, and investigate its relationship to a natural deduction system for the logic. We show how normal natural deductions correspond to cut-free derivations, and arbitrary natural deductions to sequent derivations with cut. This gives us a syntactic proof of normalization for...
متن کاملLie higher derivations on $B(X)$
Let $X$ be a Banach space of $dim X > 2$ and $B(X)$ be the space of bounded linear operators on X. If $L : B(X)to B(X)$ be a Lie higher derivation on $B(X)$, then there exists an additive higher derivation $D$ and a linear map $tau : B(X)to FI$ vanishing at commutators $[A, B]$ for all $A, Bin B(X)$ such that $L = D + tau$.
متن کاملOn categorical equivalence of Gentzen-style derivations in IMLL
A new deciding algorithm for categorical equivalence of derivations in Intuitionistic Multiplicative Linear Logic (IMLL) is proposed. The algorithm is based uniquely on manipulations with Gentzen-style derivations. The algorithm has low polynomial complexity. The paper also contains results concerning permutability of rules and its connection with categorical equivalence. c © 2002 Elsevier Scie...
متن کاملINTUITIONISTIC FUZZY BOUNDED LINEAR OPERATORS
The object of this paper is to introduce the notion of intuitionisticfuzzy continuous mappings and intuitionistic fuzzy bounded linear operatorsfrom one intuitionistic fuzzy n-normed linear space to another. Relation betweenintuitionistic fuzzy continuity and intuitionistic fuzzy bounded linearoperators are studied and some interesting results are obtained.
متن کاملOn the superstability of a special derivation
The aim of this paper is to show that under some mild conditions a functional equation of multiplicative $(alpha,beta)$-derivation is superstable on standard operator algebras. Furthermore, we prove that this generalized derivation can be a continuous and an inner $(alpha,beta)$-derivation.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Arch. Math. Log.
دوره 33 شماره
صفحات -
تاریخ انتشار 1995